COMMENT ⊗   VALID 00019 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00003 00002	@String(HPP="Heuristic Programming Project")
C00004 00003	@Comment{ Representation Systems - Theory }
C00010 00004	@Comment{ Actual Representation Systems }
C00014 00005	@Comment{ RLL things }
C00016 00006	@Comment{ Non Monotonic Logic }
C00019 00007	@Comment{ Expert Systems, Theory }
C00021 00008	@Comment{ Production Systems - Theory }
C00023 00009	@Comment{ Working Production Systems }
C00027 00010	@Comment{ Running System, Misc }
C00029 00011	@Comment{ Automatic Programming }
C00031 00012	@Comment{ Theorem Proving }
C00032 00013	@Comment{ Meta Level Stuff }
C00038 00014	@Comment{ Planning }
C00039 00015	@Comment{ Learning }
C00040 00016	@Comment{ Problem Reformulation }
C00041 00017	@Comment{ Domain Stuff }
C00055 00018	@Comment{ Misc Things }
C00058 00019	@Comment{  Add in later
C00065 ENDMK
C⊗;
@String(HPP="Heuristic Programming Project")
@String(SU="Stanford University")
@String(CSDSU="Computer Science Department, Stanford University")
@String(WP="HPP Working Paper")
@String(RAND="The Rand Corporation")
@String(RWD="RAND Working Draft")
@String(MIT="Massachusetts Institute of Technology")
@String(CMU="Carnegie-Mellon University")
@String(IJCAI="International Joint Conference on Artificial Intelligence")
@String(AAAI="American Association for Artificial Intelligence")

@Comment{ Representation Systems - Theory }

@InCollection(Levesque79,
Key = "Levesque",
Author = "Levesque, Hector, and Mylopoulos, John",
Title = "A Procedural Semantics for Semantic Networks",
Booktitle = "Associative Networks", Editor = "Nicholas V. Findler",
Publisher = "Academic Press", Year = 1979, Pages = "93-120")

@InCollection(FRAME,
Key = "Minsky",
Author = "Minsky, Marvin", Title = "A Framework for Representing Knowledge",
BookTitle = "The Psychology of Computer Vision", Editor = "P. Winston",
Publisher = "McGraw-Hill", Address = "New York", Year = 1975)

@Book(RepnIssue,
Key = "SIGART",
Author = "Brachman, R. & Smith, B. (eds.)",
Title = "SIGART Newsletter", Number = "70", Month = FEB, Year = 1980,
Publisher = "ACM Special Interest Group in Artificial Intelligence",
Address = "",
Note = "Special Representation Issue")

@Proceedings(Findler,
Key = "Findler",
Editor = "Findler, Nicholas V.", Title = "Associative Networks",
Address = "New York", Publisher = "Academic Press", Year = 1979)

@InProceedings(KRL0,
Key = "Bobrow",
Author = "Bobrow, D.G. and Winograd, T.",
Title = "An Overview of KRL, a Knowledge Representation Language",
BookTitle = "5-IJCAI", Organization = MIT, Month = AUG, Year = 1977)

@Article(WhatConcept,
Key = "Brachman",
Author = "Brachman, Ron",
Title = "What's in a Concept: Structural Foundations for Semantic Networks",
Journal = "International Journal of Man-Machine Studies 9",
Pages = "127-152", Month = OCT, Year = 1976,
Note = "(BBN report 3433)")

@InCollection(Brachman79,
Author = "Brachman, Ron",
Key = "Brachman",
Title = "On the Epistemological Status of Semantic Networks",
Booktitle = "Associative Networks", Editor = "Nicholas V. Findler",
Publisher = "Academic Press", Year = 1979, Pages = "3-49")

@InCollection(Qullian65,
Key = "Quillian",
Author = "Quillian, M. R.",  Title = "Semantic Memory",
Booktitle = "Semantic Information Processing", Editor = "Marvin Minsky",
Publisher = "MIT Press", Address = "Cambridge, Massachusetts", Year = 1965,
Pages = "227-270")

@InProceedings(Sandewall,
Key = "Sandewall",
Author = "Sandewall, Erik", Title = "Ideas about Management of LISP Data Bases", 
Booktitle = "4-IJCAI", Organization = "Tbilisi, Georgia, USSR", 
Month = "3-8 September", Year = 1975, Pages = "585-591")

@InCollection(Schubert79,
Key = "Schubert",
Author = "Schubert, Lenhart K., Goebel, Randolph G., and Cercone, Nicholas J.",
Title = "The Structure and Organization of a Semantic Net for Comprehension
and Inference", Booktitle = "Associative Networks", Editor = "Nicholas V. Findler",
Publisher = "Academic Press", Year = 1979, Pages = "121-175")

@MastersThesis(Smith77,
Key = "Smith",
Author = "Smith, Brian", Title = "Levels, Layers, and Planes:
The Framework of a System of Knowledge Representation Semantics",
Note = "Artificial Intelligence Laboratory", School = MIT, Year = 1977)

@InProceedings(Stefik79,
Key = "Stefik",
Author = "Stefik, Mark J.", Title =
"An Examination of a Frame-Structured Representation System", 
Booktitle = "6-IJCAI", Organization = "Tokyo", Month = AUG, Year = 1979)

@InProceedings(Woods75,
Key = "Woods",
Author = "Woods, W. A.",  Title = "What's in a Link,
Foundations for Semantic Networks", Editors = "D. G. Bobrow & A. M. Collins",
BookTitle = "Representation and Understanding", Publisher = "Academic Press",
Year = 1975)

@Comment{ Actual Representation Systems }

@Manual(Units,
Key = "Smith",
Author = "Smith, Reid G. and Friedland, Peter",
Title = "Unit Package User's Guide",
Month = DEC, Year = 1980,
Note = "(HPP-80-28, and Defence Research Establishment Atlantic # 80/L)")

@InProceedings(Hewitt80,
Key = "Hewitt",
Author = "Hewitt, Carl F., Attardi, Guiseppe, and Simi, Maria",
Title = "Knowledge Embedding in the Description System Omega",
Booktitle = "1-AAAI",
Organization = SU, Year = 1980, Pages = "157-163")

@Manual(DB,
Key = "Mackinlay",
Author = "Mackinlay, Jock and Genesereth, Michael",  Title = "DB Reference Manual",
Note = "Internal HPP Memo", Month = AUG, Year = 1980,
Volume = "2", Year = 1971, Pages = "189-208")

@Book(NETL,
Key = "Fahlman",
Author = "Fahlman, S. E.",
Title = "NETL: A System for Representing and Using Real-World Knowledge",
Publisher = "MIT Press", Address = "Cambridge, Massachusetts", Year = 1979)

@Article(STRIPS,
Key = "Fikes",
Author = "Fikes, R. F., and Nilsson, N.J.", Title =
"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving",
Journal = "Artificial Intelligence: An International Journal",
Volume = "2", Pages = "189-208", Year = 1971)

@TechReport[Planner,
Key = "Hewitt",
Author = "Hewitt, Carl F.",
Title = "Description and Theoretical Analysis (using schemata) of PLANNER:
a language for Proving Theorems and Manipulting Models in a Robot",
Institution = "MIT AI Laboratory", Number = "TR-258", Year = 1972]

@Manual(Conniver,
Key = "McDermott",
Author = "McDermott, Drew and Sussman, Gerald",
Title = "The Conniver Reference Manual", Organization = "MIT AI Laboratory",
Note = "TR-?", Year = 1974)

@Manual(FRL,
Key = "Roberts",
Author = "Roberts, R. B., and Goldstein, Ira P.", Title = "FRL Users' Manual",
Note = "A.I. Memo 408",
Organization = "Artificial Intelligence Laboratory, MIT",
Address = "Cambridge, Massachusetts", Year = 1977)

@TechReport(OWL,
Key = "Szolovits",
Author = "Szolovits, Peter, Hawkinson, Lowell B., and Martin, William A.",
Title = "An Overview of OWL, A Language for Knowledge Representation",
Number = "MIT/LCS/TM-86", Institution = MIT,
Month = JUN, Year = 1977)

@Comment{ RLL things }

@InProceedings(RLL,
Key = "Greiner",
Author = "Greiner, Russell and Lenat, Douglas B.", 
Title = "A Representation Language Language",
Booktitle = "1-AAAI",
Organization = SU, Pages = "165-169",
Month = AUG, Year = 1980)

@InProceedings(M&M,
Key = "Genesereth",
Author = "Genesereth, Micheal R.", 
Title = "Metaphors and Models",
Booktitle = "1-AAAI",
Organization = SU, Pages = "208-211",
Month = AUG, Year = 1980)

@TechReport(RLLa,
Key = "Greiner",
Author = "Greiner, Russell", 
Title = "RLL-1: A Representation Language Language",
Number = "HPP-80-9",
Type = WP, 
Institution = CSDSU,
Month = OCT, Year = 1980)

@TechReport(RLLb,
Key = "Greiner",
Author = "Greiner, Russell and Lenat, Douglas B.", Title = "Details of RLL-1",
Number = "HPP-80-23",
Type = WP, 
Institution = CSDSU,
Month = OCT, Year = 1980)

@Manual(MRS,
Key = "Genesereth",
Author = "Genesereth, Micheal, Greiner, Russell, and Smith, David", 
Title = "MRS Manual",
Note = "HPP Working Paper HPP-80-24", Month = DEC, Year = 1980)
@Comment{ Non Monotonic Logic }

@Article(AMORD,
Key = "deKleer",
Author = "deKleer, Johan, Doyle, Jon, Steele, Guy L. Jr., and Sussman, Gerald Jay",
Title = "AMORD: Explicit Control of Reasoning",
Journal = "SIGART Newsletter", Volume = "12", Number = "8", Month = AUG,
Year = 1977, Pages = "116-125")

@Misc(Non-Mon,
Key = "AI Journal",
Title = "Artificial Intelligence: An International Journal",
Publisher = "North-Holland Publishing Company",
Address = "Amsterdam, The Netherlands",
Volume= "3", Number = "1 and 2", Year = 1980, Month = APR,
Note = "Special Issue on Non-Monotonic Logic")

@PhDThesis(Doyle,
Key = "Doyle",
Author = "Doyle, Jon", 
Title = "A Model for Deliberation, Action, and Introspection",
School = MIT, Month = JUN, Year = 1980)

@InProceedings(Reiter77,
Key = "Reiter",
Author = "Reiter, Raymond", Title = "On Reasoning by Default",
Booktitle = "Theoritical Issues in Natural Language Processing-2",
Address = "Urbana, Illinois", Year = 1977,
Organization = "Association for Computing Machinery", Pages = "210-218")

@TechReport(Weyhrauch78,
Key = "Weyhrauch",
Author = "Weyhrauch, Richard W.",
Title = "Prolegomena to a Theory of Formal Reasoning",
Institution = SU, Number = "AIM-315", Month = DEC,
Year = 1978)
@Comment{ Expert Systems, Theory }

@UnPublished(ExpertSystems,
Key = "Hayes-Roth",
Author = "Hayes-Roth, Frederick, Waterman, D. A. and Lenat, Douglas B.",
Title = "Designing Expert Systems", Note = "in construction")

@InProceedings(AGE,
Key = "Nii",
Author = "Nii, H. Penny, and Aiello, N.", Title = "AGE (Attempt to Generalize):
A Knowledge-Based Program for Building Knowledge-Based Program", 
Booktitle = "6-IJCAI", Organization = "Tokyo", Month = AUG, Year = 1979)

@PhDThesis(vanMelle,
Key = "vanMelle",
Author = "van Melle, William J.", Title =
"A Domain-Independent System for Constructing Consultation Systems",
School = CSDSU, Month = JUN, Year = 1980)

@InProceedings(EXPERT,
Key = "Weiss",
Author = "Weiss, Sholom M., and Kulikowski, Casimir A.",
Title = "EXPERT: A System for Developing Consultation Models",
Booktitle = "6-IJCAI", Organization = "Toyko", Month = AUG, Year = 1979,
Pages = "942-947")
@Comment{ Production Systems - Theory }

@Proceedings(PDIS,
Key = "Waterman",
Editor = "Waterman, D. A. and Hayes-Roth, Frederick",
Title = "Pattern-Directed Inference Systems", Publisher = "Academic Press, Inc.",
Year = 1978)

@InCollection(Lenat78,
Key = "Lenat",
Author = "Lenat, Douglas B. and Harris, Gregory",
Title = "Designing a Rule System That Searches for Scientific Discoveries",
Booktitle = "Pattern-Directed Inference Systems",
Editors = "D. A. Waterman and Frederick Hayes-Roth", 
Publisher = "Academic Press, Inc.", Year = 1978, Pages = "25-52")

@InProceedings(Lenat77b,
Key = "Lenat",
Author = "Lenat, Douglas B. and McDermott, John",
Title = "Less Than General Production System Architures",
Booktitle = "5-IJCAI", Organization = MIT, Year = 1977, Pages = "928-932")

@PhDThesis(Forgy79,
Key = "Forgy",
Author = "Forgy, C. L.",
Title = "On the Efficient Implementation of Production System",
School = CMU,
Month = FEB, Year = 1979)

@InProceedings(OPS,
Key = "Forgy",
Author = "Forgy, C. L. and McDermott, John",
Title = "OPS, A Domain-Independent Production System",
Booktitle = "5-IJCAI", Organization = MIT, Year = 1977, Pages = "933-939")

@Comment{ Working Production Systems }

@Book(MYCIN,
Key = "Shortliffe",
Author = "Shortliffe, E. H.", Title = "Computer-based Medical Consultations: MYCIN",
Address = "New York", Publisher = "American Elsevier", Year = 1976)

@InProceedings(Smith80,
Key = "Smith",
Author = "Smith, David and Clayton, Janice",
Title = "A Frame-based Production System Architecture",
Booktitle = "1-AAAI", Organization = SU, Month = AUG,
Year = 1980)

@InProceedings(Lenat77,
Key = "Lenat",
Author = "Lenat, Douglas B.", Title = "AM: Automated Discovery in Mathematics",
Booktitle = "5-IJCAI", Organization = MIT, Month = AUG, Year = 1977)

@PhDThesis(AM,
Key = "Lenat",
Author = "Lenat, Douglas B.", Title = "AM: An Artificial Intelligence Approach
to Discovery in Mathematics as Heuristic Search",
School = CSDSU, Month = JUL, Year = 1976, Note = "STAN-CS-76-570")

@TechReport(Centaur,
Key = "Aikins",
Author = "Aikins, Jan", Title = "Prototypes and Production Rules: 
An Approach to Knowledge Representation from Hypothesis Formation",
Type = WP, Number = "HPP-79-10",
Institution = CSDSU,
Month = JUL, Year = 1979)

@PhDThesis(Fagan80,
Key = "Fagan",
Author = "Fagan, Lawrence",
Title = "Representing Time Dependent Relations in a Medical Setting", 
School = CSDSU, Year = 1980)

@TechReport(PUFF,
Key = "Kunz",
Author = "Kunz, J. C., R. J. Fallat, D. H. McClung, J. J. Osborn, B. A. Votteri,
H. P. Nii, J. S. Aikins, L. M. Fagan and E. A. Feigenbaum",
Title = "A Physiological Rule-Based System for Interpreting Pulmonary Function
Test Results",
Institution = CSDSU,
Type = WP, Number = "HPP-80-19",
Month = NOV, Year = 1978)

@TechReport(MOLGEN,
Key = "Feigenbaum",
Author = "Feigenbaum, E. A., Buchanan, B. G., Kedes, L. H. and Brutlag, D.",
Title = "A Proposal for Continuation of the MOLGEN Project: A Computer Science
Application to Molecular Biology",
Institution = CSDSU,
Type = WP, Number = "HPP-80-5",
Month = APR, Year = 1980)
@Comment{ Running System, Misc }

@InProceedings(Erman75,
Key = "Erman",
Author = "Erman, L. D., and Lesser, V. R.",
Title = "A multi-level organization for problem solving using many, diverse,
cooperating sources of knowledge",
Booktitle = "4-IJCAI", Organization = "Tbilisi, Georgia, USSR",
Year = 1975, Pages = "483-490")

@InProceedings(Lesser77,
Key = "Lesser",
Author = "Lesser, V. R. and Erman, L. D.",
Title = "A Retrospective view of the HearSay-II Architecture",
Booktitle = "5-IJCAI", Organization = MIT, Year = 1977, Pages = "790-800")

@Book(Shank77,
Key = "Shank",
Author = "Shank, Roger C. and Abelson, Robert P.", 
Title = "Scripts, Plans, Goals and Understanding: 
An Inquiry into Human Knowledge Structures",
Address = "Hillsdale, NJ", Publisher = "Lawrence Erlbaum Associates", Year = 1977)
@Comment{ Automatic Programming }

@InProceedings(PSI,
Key = "Green", 
Author = "Green, Cordell, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski,
Brian P. McCune, Jorge V. Phillips, Steve T. Tappel and Stephen J. Westfall",
Title = "Results in Knowledge Based Program Synthesis", Booktitle = "6-IJCAI",
Organization = "Tokyo", Month = AUG, Year = 1977)

@PhDThesis(Phillips,
Key = "Phillips",
Author = "Phillips, Jorge", Title =
"Self-Described Programming Environment:
An Application of a Theory of Design to Programming Systems",
School = CSDSU, Month = DEC, Year = 1980)

@PhDThesis(Kant,
Key = "Kant",
Author = "Kant, Elaine", Title =
"Efficiency Considerations in Program Synthesis:
A Knowledge Based Approach",
School = CSDSU, Month = JUN, Year = 1979)

@Book(Barstow,
Key = "Barstow",
Author = "Barstow, David", Title =
"Knowledge-Based Program Construction",
Publisher = "Elsevier", Address = "North Holland", Year = 1979)

@InProceedings(Manna77,
Key = "Manna",
Author = "Manna, Zohar and Waldinger, Richard",
Title = "A Deductive Approach to Program Synthesis",
Booktitle = "6-IJCAI", Organization = MIT, Year = 1977, Pages = "542-551")

@Comment{ Theorem Proving }

@Article(Bledsoe77,
Key = "Bledsoe",
Author = "Bledsoe, W. W.", Title = "Non-resolution Theorem Proving",
Journal = "Artificial Intelligence: An International Journal",
Volume="9", Number = "1", Month = AUG, Year = 1977, Pages = "1-36")
@Comment{ Meta Level Stuff }

@TechReport(Davis76,
Key = "Davis",
Author = "Davis, Randy", Title =
"Applications of Meta Level Knowledge to the Construction, Maintainance and Use
of Large Knowledge Bases",
Institution = SU, Number = "AIM-283", Year = 1976)

@TechReport(MetaDescription,
Key = "Genesereth",
Author = "Genesereth, Michael, and Lenat, Douglas B.",
Title = "Meta-Description and Modifiability",
Institution = CSDSU,
Type = WP, Number = "HPP-80-18",
Month = SEP, Year = 1980)
@Comment{ Planning }

@PhDThesis(Stefik-Planning,
Key = "Stefik",
Author = "Stefik, Mark J.", Title =
"Planning with Constriants", 
School = CSDSU, Month = JAN, Year = 1980)
@Comment{ Learning }

@Article(Learn-HR,
Key = "Hayes-Roth",
Author = "Hayes-Roth, Barbara and Frederick Hayes-Roth",
Title = "Concept Learning and the Recognition and Classification of Examplars",
Journal = "Journal of Verbal Learning and Verbal Behavior",
Volume = "16", Pages = "321-338",
Year = 1977)

@Unpublished(DIETTERICH,
Key = "Dietterich",
Author = "Dietterich, Thomas G.",
Year = 1981,
Title = "Thesis Proposal",
Misc = "Personal communication")
@Comment{ Problem Reformulation }

@InCollection(Amarel,
Key = "Amarel",
Author = "Amarel, Saul",
Title = "On Representations of Problems of Reasoning About Actions",
Publisher = "American Elsevier Publishing Company",
Address = "New York",
Year = 1968,
BookTitle = "Machine Intelligence",
Pages = "131-171",
Editors = "Meltzer and Michie",
Volume = 3
)

@UnPublished(Tappel,
Key = "Tappel",
Author = "Tappel, Steve",
Title = "Reformulation ...",
Year = 1981,
Notes = "Thesis Proposal"
)
@Comment{ Domain Stuff }

@Book(VLSI,
Key = "Mead",
Author = "Mead, Carver and Conway, Lynn",
Title = "Inroduction to VLSI Systems",
Publisher = "Addison-Wesley Publishing Company", Address = "Menlo Park, California",
Year = 1980)

@Book(AHU,
Key = "Aho",
Author = "Aho, Alfred V., Hopcroft, John E., and Ullman, Jeffrey D.",
Title = "The Design and Analysis of Computer Algorithms",
Publisher = "Addison-Wesley Publishing Company", Address = "Menlo Park, California",
Year = 1976)

@Book(Knuth1,
Key = "Knuth",
Author = "Knuth, Donald E.",
Title = "Fundamental Algorithms",
Series = "The Art of Computer Programming",
Publisher = "Addison-Wesley Publishing Company", Address = "Menlo Park, California",
Year = 1978)
@Comment{ Misc Things }

@TechReport(Genesereth,
Key = "Genesereth",
Author = "Genesereth, Michael", Title =
"Fast Inference Algorithm Based on a Constraint Propagation of Marks
in a Semantic Network",
Type = "MathLab Memo", Number = "4", Institution = MIT, 
Note = "Cambridge, Massachusetts", Year = 1976)

@TechReport(Cognitive-Economy,
Key = "Lenat",
Author = "Lenat, Douglas B., Hayes-Roth, F. and Klahr, P.",
Title = "Cognitive Economy",
Institution = CSDSU,
Type = WP, Number = "HPP-80-15",
Month = JUN, Year = 1979)

@TechReport(Michie,
Key = "Michie",
Author = "Michie, Donald", Title =
"Memo functions: a language facility with 'rote learning' properties",
Type = "Research Memorandum", Number = "MIP-r-29",
Institution = "Edinburgh: Department of Machine Intelligence and Perception",
Year = 1967)

@Manual(CORLL,
Key = "Smith",
Author = "Smith, David", Title = "CORLL Manual:
A Storage and File Management System for Knowledge Bases",
Note = "HPP Working Paper HPP-80-8", Month = NOV, Year = 1980)

@Article(Beyond,
Key = "Winograd",
Author = "Winograd, Terry", Title = "Beyond Programming Languages",
Journal = "Communications of the ACM", Pages = "361-ff.", Month = JUL,
Year = 1979)

@Article(Bugs,
Key = "Brown",
Author = "Brown, John Seely, and VanLehn, Kurt",
Title = "Repair Theory: A Generative Theory of Bugs in Procedural Skills",
Journal = "Journal of Cognitive Science",
Pages = "not yet", Month = MAR, Year = 1981)
@Comment{  Add in later
ABSTRIPS
Hayes-Roth paper on Theories
}